منابع مشابه
Consistency in Model Integration
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many models. We present an approach to the engineering of complex systems based on the modeling of use cases and object life cycles as Petri nets. Synchronization by place fusion allows the derivation of an integrated model...
متن کاملIntegration of a Consistency Control Module within a Consensus Model
In group decision making (GDM) processes, prior to the selection of the best alternative(s), it would be desirable that experts achieve a high degree of consensus or agreement between them. Due to the complexity of most decision making problems, individuals’ preferences may not satisfy formal properties. ‘Consistency’ is one of such properties, and it is associated with the transitivity propert...
متن کاملIntegration of Proximity Relations under Consistency Const..
Though the data integration problem of relational databases has been well studied, little work addresses the problem in the context of fuzzy relational databases. The fuzzy relational model relies on the specification of either a similarity relation or a proximity relation for each scalar domain in the fuzzy database. Without the constraint of max-min transitivity, proximity relations can be de...
متن کاملBehavioral Consistency for B2B Process Integration
Interacting services are at the center of attention in businessto-business (B2B) process integration scenarios. Global interaction models specify the interaction behavior of each service and serve as contractual basis for the collaboration. Consequently, service implementations have to be consistent with the specifications. Consistency checking ensures that an implemented service is compatible ...
متن کاملChecking UML Model Consistency
UML is nowadays a de-facto standard for design and development of (object-oriented) software. With version 2.0 UML has achieved a more precise formal semantics. The same happened to OCL, a specification language which is an integral part of UML that allows to embed software contracts in the model. In this work we propose an approach for a static verification of consistency of UML models which r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Data & Knowledge Engineering
سال: 2006
ISSN: 0169-023X
DOI: 10.1016/j.datak.2005.02.004